Proceedings 2nd International Workshop on Linearity

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

2nd International LeGE-WG Workshop

This paper calls for the design of the European Grid for Learning to take note of important issues which have arisen in previous e-learning cycles in the UK. In particular, low take-up of products and services by lecturers has been explained in terms of techno-fear, or ignorance of e-learning potential. These claims are unsubstantiated. Other explanations are possible for the observed resistanc...

متن کامل

The Pre-proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007)

Human-computer interaction studies try to improve interaction between users and computers. Formal methods can play important role by giving a precise notation to model the interaction and capabilities to reason about the model. This work uses Communicating Sequential Processes (CSP), a simple but powerful process algebra, to model the interaction between user and computer in a case study: a cho...

متن کامل

The 2nd International Workshop on Inductive Reasoning and Machine Learning for the Semantic Web Proceedings

I will describe a novel meta-learning approach to optimizingthe knowledge discovery or data mining (DM) process. This approach hasthree features that distinguish it from its predecessors. First, previousmeta-learning research has focused exclusively on improving the learningphase of the DM process. More specifically, the goal of meta-learning hastypically been to select the ...

متن کامل

Dsc 2001 Proceedings of the 2nd International Workshop on Distributed Statistical Computing Orca [ R [ Rjava]]

Orca (http://software.biostat.washington.edu) is a project to develop and implement dynamic graphics for displaying high-dimensional data, particularly time series, spatial, and network data. Integrating these graphics into a statistical environment will simplify data manipulation, allow statistical modelling to assist with graphical display and graphical displays to assist modelling. I briefly...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science

سال: 2012

ISSN: 2075-2180

DOI: 10.4204/eptcs.101.0